University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
201	Financial Statements for Year ended 31st Jly 2005 Add to Reading List Source URL: www.hw.ac.uk Language: English Education Higher education Scottish Informatics and Computer Science Alliance Heriot Edinburgh Business School University of Edinburgh Watt Heriot-Watt University Dubai Duncan Inglis Cameron Heriot-Watt University Association of Commonwealth Universities Academia
202	Normalization Theory for XML Leonid Libkin1 School of Informatics, University of Edinburgh Abstract. Specifications of XML documents typically consist of typing Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-07-05 09:38:55 Data modeling Database theory Database constraints Technical communication Relational algebra Third normal form Database normalization Boyce–Codd normal form Relational model Computing Data management Data
203	UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION (LEVEL 9) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-13 07:45:52 Computer programming Functional languages Propositional calculus Procedural programming languages FO Finite model theory Negation B-tree ML Computing Boolean algebra Software engineering
204	Has REST outlived its usefulness? Henry S. Thompson School of Informatics University of Edinburgh Slides for a talk given on 21 November 2014 at the Oxford eResearch Centre Copyright © 2013 Henry S. Thompson Add to Reading List Source URL: www.ltg.ed.ac.uk Language: English - Date: 2014-11-22 06:59:02 Software architecture Representational state transfer Hypertext Transfer Protocol HATEOAS Roy Fielding HTML Internet Resource Client–server model Computing Technology World Wide Web
205	A Scalable Probabilistic Classifier for Language Modeling Joel Lang Institute for Language, Cognition and Computation School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9AB, UK Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2011-05-20 16:12:48 Bayesian statistics Machine learning N-gram Maximum likelihood Hidden Markov model Principle of maximum entropy Training set Perceptron Entropy Statistics Probability and statistics Statistical theory
206	FOR INTERNAL SCRUTINY (date of this version: UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-12 04:27:31 Higher-order functions Recursion Fold Binary tree String Function Computing Mathematics Software engineering
207	Meaning Representation in Natural Language Categorization Trevor Fountain () and Mirella Lapata () School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 Add to Reading List Source URL: www.texasexpat.net Language: English - Date: 2010-09-07 12:09:50 Linguistics Cognitive science Ethology Information retrieval Knowledge representation Latent semantic analysis Prototype theory Document-term matrix Categorization Semantics Science Natural language processing
208	A Computational Cognitive Model of Syntactic Priming David Reitter, Frank Keller, and Johanna D. Moore School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9AB, UK Phone: +, Fax Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-01-09 09:17:58 Mind Psycholinguistics Memory Perception Priming Syntactic Structures Syntax Sentence processing Parsing Cognitive science Cognition Linguistics
209	Priming of Syntactic Rules in Task-Oriented Dialogue and Spontaneous Conversation David Reitter (), Johanna D. Moore, Frank Keller School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:17 Cognitive science Memory Perception Priming Psycholinguistics Treebank Corpus linguistics Syntax Syntactic Structures Linguistics Science Cognition
210	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science

UPDATE